<?php
while (true):^
endwhile;
?>